properties of modulus of complex numbers